Skip to main content

Derived preconditions and their use in program synthesis

Item Preview

SIMILAR ITEMS (based on metadata)
Department of Defense
by Smith, Douglas R.
texts
eye 23
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 186
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 598
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by Hess, Ronald A.;Sturges, James W.
texts
eye 111
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 736
favorite 0
comment 0
Source: half
Naval Postgraduate School, Dudley Knox Library
by Madsen, Leroy E.;Vanderplaats, Garret N.
texts
eye 658
favorite 0
comment 0
Department of Defense
texts
eye 27
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 132
favorite 0
comment 0